Combining Instance Generation and Resolution
نویسندگان
چکیده
We present a new inference system for first-order logic, SIGRes, which couples together SInst-Gen and ordered resolution into a single inference system. Given a set F of first order clauses we create two sets, P and R, each a subset of F . Under SIG-Res, P is saturated by SInst-Gen and resolution is applied to pairs of clauses in P ∪R where at least one of the clauses is in R. We discuss the motivation for this inference system and prove its completeness. We also discuss our implementation called Spectrum and give some initial results.
منابع مشابه
Simultaneous Determination of Ibuprofen and Caffeine in Urine Samples by Combining MCR-ALS and Excitation-emission Data
Second order advantage of excitation-emission fluorescence matrix was applied for the simultaneous determination of ibuprofen and caffeine. The proposed method is based on the measurement of the native fluorescence and recording emission spectra of ibuprofen and caffeine in different excitation wavelengths. The mixture of these compounds was resolved by multivariate curve resolution coupled wit...
متن کاملI-37: Establishing High Resolution Genomic Profiles of Single Cells Using Microarray and Next-Generation Sequencing Technologies
The nature and pace of genome mutation is largely unknown. Standard methods to investigate DNA-mutation rely on arraying or sequencing DNA from a population of cells, hence the genetic composition of individual cells is lost and de novo mutation in cell(s) is concealed within the bulk signal. We developed methods based on (SNP-) arraying and next-generation sequencing of single-cell whole-genom...
متن کاملVery High Resolution Parametric and Non- Parametric Sartomography Methods for Monitoring Urban Areas Structures
Synthetic Aperture Radar (SAR) is the only way to evaluate deformation of the Earth’s surface from space on the order of centimeters and millimeters due to its coherent nature and short wavelengths. Hence, by this means the long term risk monitoring and security are performed as precisely as possible. Traditional SAR imaging delivers a projection of the 3-D object to the two dimensional (2-D) a...
متن کاملIdentifying amino acid residues in medium resolution critical point graphs using instance based query generation.
Instance Based Query Generation is defined and applied to the problem of recognising amino acid residues in medium resolution critical point graphs. The technique is an amalgamation of Relational Instance Based Learning and Frequent Query Discovery in First Order Logic. Instances are automatically constructed from a deductive database and first order association rules are derived from the insta...
متن کاملAssessment of combining ability and comparison of selected selfed and open pollinated generations clones of alfalfa (Medicago sativa L.) ecotypes
This study was conducted to quantitatively evaluate selfed (S1, S2 and S3) and open pollinated (OP1, OP2 and OP3) generations of alfalfa in terms of inbreeding depression and general combining ability of S2 families of alfalfa ecotypes. Selfing of selected plants to produce three generations of S1, S2 and S3 generations were performed under the field conditions and the clones of each selfed- ge...
متن کامل